Equational zero vector databases, non-equational databases, and inherent internal control

Equational zero vector databases, non-equational databases, and inherent internal control

Equational zero vector accounting systems, based on duality principles and the double-entry model, were designed as ontological control systems to help prevent and detect fraud and errors inherent in non-equational, single-entry systems. Non-equational systems lend themselves to fraud and errors to a larger degree because the internal control inherent in an equational zero vector system has no ...

Protein Databases

Proteins are sources of many peptides with diverse biological activity. Some of them are considered as valuable components of foods and drug targets with desired and designed biological activity. We are now entering an era rich in biological data in which the field of bioinformatics is poised to exploit this information in increasingly powerful ways. There are currently many databases all over ...

Equational Logic and Equational Theories of Algebras

An Equational Metalogic for Monadic Equational Systems

The paper presents algebraic and logical developments. From the algebraic viewpoint, we introduce Monadic Equational Systems as an abstract enriched notion of equational presentation. From the logical viewpoint, we provide Equational Metalogic as a general formal deductive system for the derivability of equational consequences. Relating the two, a canonical model theory for Monadic Equational S...

Equational Uniication, Word Uniication, and 2 Nd -order Equational Uniication

For nite convergent term-rewriting systems it is shown that the equational unii-cation problem is recursively independent of the equational matching problem, the word matching problem, and the 2 nd-order equational matching problem. Apart from the latter these results are derived by considering term-rewriting systems on signatures that contain unary function symbols only (that is, string-rewrit...